is\_node($t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case($t$) Case $x$;$y$ =$>$ true$_{2}$ Default =$>$ false$_{2}$